(declare-fun a () Bool)
(declare-fun b () Bool)
(declare-fun c () Bool)
(declare-fun d () Bool)
(declare-fun e () Bool)
(declare-fun f () Bool)
(declare-fun g () Bool)
(declare-fun h () Bool)
(assert (or (or (not (or (or (and (not d) g) (not (and g (not g)))))) (not (or (not (or f g)) (not (and c e)) (or b f (and c h))))) (and (not (or (or (not g) c) (not f))) (not (or e c)))))
(check-sat)
(assert (and (or d f (not (and e g))) (or (not (or a d)) (or (and (not h) (not e)) (not (and h f))))))
(check-sat)
(push)
(assert c)
(check-sat)
(pop)
(assert (not d))
(check-sat)
